21. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
22. Integrating Routing Decisions in Public Transportation Problem
پدیدآورنده : / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer software,Civil engineering,Mathematics,Operations Research, Management Science,Civil Engineering,Algorithm Analysis and Problem Complexity
رده :
E-BOOK
23. Introduction to cryptography with open-source software /
پدیدآورنده : Alasdair McAndrew.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security.,Cryptography-- Mathematics.,Data encryption (Computer science),Open source software.
24. MATLAB 7 :
پدیدآورنده : Christoph Überhuber ; Stefan Katzenbeisser ; Dirk Praetorius.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Mathematics.,Computer science.,Computer software.,Mathematics.,MATLAB 7.0
رده :
QA76
.
75-76
.
765
25. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها,علوم کامپیوتر -- ریاضیات -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
26. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگرهها ,علوم کامپیوتر -- ریاضیات -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
27. Mathematical and engineering methods in computer science
پدیدآورنده : Zdeněk Kotásek ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
M46
2011eb
28. Mathematics for the Analysis of Algorithms
پدیدآورنده : by Daniel H. Greene, Donald E. Knuth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computer science.,Computer software.,Mathematics.
29. Mathematics of software constructions
پدیدآورنده : Norcliffe, Allan
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Mathematics- 1691-,، Computer science- Mathematics,، Software eingineering
30. Methods and Models in Mathematical Programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Software engineering. ; Computational Mathematics and Numerical Analysis. ; -Computer mathematics. ; Computer science
31. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,علوم کامپیوتر -- کنگرهها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
32. Perspectives on Software Requirements
پدیدآورنده : edited by Julio Cesar Sampaio Prado Leite, Jorge Horacio Doorn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.
33. Quality of Communication-Based Systems :
پدیدآورنده : edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Mathematics.,Software engineering.
رده :
QA76
.
9
.
A23
E358
1995
34. Realtime Data Minin
پدیدآورنده : / by Alexander Paprotny, Michael Thess
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science,Computer software,Electronic books
رده :
E-BOOK
35. Recent trends in algebraic development techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
36. Recent trends in algebraic development techniques
پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگرهها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
37. Recent trends in algebraic development techniques :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;
38. Recent trends in algebraic development techniques
پدیدآورنده : Narciso Martí-Oliet, Miguel Palomino (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
39. Recent trends in algebraic development techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
40. Recent trends in algebraic development techniques :
پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47